Mathematical series - PDFSEARCH.IO - Document Search Engine

Mathematical series
Results: 2289

#	Item
571	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
572	Geosci. Model Dev., 3, 309–320, 2010 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 03:53:08 Statistical forecasting Weather prediction Time series analysis Estimation theory Data analysis Forecasting Weather forecasting Numerical weather prediction Atmospheric model Statistics Mathematical sciences Science
573	INSTITUTE OF MATHEMATICAL GEOGRAPHY MONOGRAPH SERIES VOLUME 20 SOLSTICE vi: AN ELECTRONIC JOURNAL Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2005-07-14 12:09:30 Climate change in Australia United Nations Framework Convention on Climate Change Climatology Greenhouse gas California Air Resources Board
574	INSTITUTE OF MATHEMATICAL GEOGRAPHY MONOGRAPH SERIES VOLUME 21 SOLSTICE viI: AN ELECTRONIC JOURNAL Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2005-07-14 12:12:18 Ann Arbor Michigan Kenneth H. Rosen University of Michigan Detroit Geography of Michigan Michigan Geography of the United States
575	FOR FAVOUR OF POSTING Patrick Poon Lecture Series in Actuarial Science Ordering and Measuring Actuarial Risks by Professor Jan Dhaene Add to Reading List Source URL: lx2.saas.hku.hk Language: English - Date: 2009-03-20 19:07:11 Actuary Science Katholieke Universiteit Leuven Mathematical sciences Knowledge Insurance Actuarial science International Actuarial Association
576	Geosci. Model Dev., 3, 329–336, 2010 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 03:53:15 Integer sequences Mathematical series Gamma function Gamma distribution Incomplete gamma function Factorial Differential equation Asymptote Taylor series Mathematical analysis Mathematics Combinatorics
577	CS355: Topics in cryptography Fall 2007 Assignment #1 Due: Wednesday, Nov. 7, 2007. Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2007-10-27 18:54:31 Mathematics Smooth functions Polynomials Mathematical series
578	Ideal convergence and other generalized limits Martin Sleziak October 18, 2005 Abstract This talk is mainly concerned with two generalizations of convergence of sequences called I-convergence and I ∗ -convergence. We w Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2005-10-18 10:19:40 General topology Asymptotic analysis Summability theory Banach limit Series Limit superior and limit inferior Sequence space Filter Almost convergent sequence Mathematical analysis Functional analysis Convergence
579	I-CONVERGENCE AND EXTREMAL I-LIMIT POINTS ˇ ˇ AT, ´ AND M. SLEZIAK P. KOSTYRKO, M. MACAJ, T. SAL Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2004-05-17 07:08:08 Limit superior and limit inferior Series Filter Probability theory Measure theory Mathematical analysis Mathematics Calculus
580	GAPS AND THE EXPONENT OF CONVERGENCE OF AN INTEGER SEQUENCE ´ GEORGES GREKOS, MARTIN SLEZIAK, AND JANA TOMANOVA ˇ at, at one of his seminars at Comenius UniAbstract. Professor Tibor Sal´ versity, Bratislava, asked to Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2011-11-16 14:22:17 Limit superior and limit inferior Exponentiation Series Mathematical series Prime numbers Mathematical analysis Mathematics Calculus

UPDATE